Inheritance is a Surjection: Description and Consequence
نویسندگان
چکیده
منابع مشابه
Inheritance in Architecture Description Languages
This paper explores ways by which inheritance can be defined for and used in specification languages, especially ADLs and CDLs that are now widely used in software engineering for specifying software architectures and components. The fact that most specification languages share many properties with object oriented languages – which use inheritance for variety of purposes – is the main motivatio...
متن کاملDefeasible Inheritance-Based Description Logics
Defeasible inheritance networks are a non-monotonic framework that deals with hierarchical knowledge. On the other hand, rational closure is acknowledged as a landmark of the preferential approach to non-monotonic reasoning. We will combine these two approaches and define a new non-monotonic closure operation for propositional knowledge bases that combines the advantages of both. Then we redefi...
متن کاملPhilosophy and The Human Inheritance in a Post-Western World
The dissolution of the Western-dominated Postwar Order, and the Eurocentric myths that sustain it, presents a unique opportunity to ponder an old question posed by every new generation: How can philosophy, which Islamic and ancient Greek learning traditions have long defined as the pursuit of “wisdom,” resume its millennial civilizing role? This paper looks beyond passing political events to re...
متن کاملConsequence-based and fixed-parameter tractable reasoning in description logics
In this paper we investigate the consequence-based algorithms that are nowadays commonly used for subsumption reasoning with description logic ontologies, presenting the following novel results. First, we present a very general consequence-based reasoning algorithm that can be instantiated so as to capture the essential features of the known algorithms. Second, we use this algorithm to develop ...
متن کاملIs Absorption a Consequence of Unitarity ?
Absorptive corrections to scattering and production in a family of explicitly unitary models is studied. We find that in a particular model in which quantum number constraints are ignored, all the results concerning absorptive corrections found in the Reggeon calculus model of Abramovskii, Kancheli, and Gribov are reproduced. In extended models, however, the effects due to quantum numbers and/o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings
سال: 2019
ISSN: 2504-3900
DOI: 10.3390/ecea-5-06659